add_subdirectory(deps)
add_subdirectory(include/ltlfsat)
add_subdirectory(include/ltlfsyn)
add_subdirectory(include/ltlf2dfa)
